Nuprl Definition : so_apply4 13,42
x(s1,s2,s3,s4) == x(s1,s2,s3,s4) 
latex

Upcore 2, core 2
Definitionsf(a)

origin